61. Handbook of Industrial system Safty engineering and risk Assessment
Author: / edited by Lee Gaumer
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software--Development--Congresses,Model-integrated computing--Congresses,Model-driven software architecture--Congresses,Computer software--Development.--fast--(OCoLC)fst00872537,Model-driven software architecture.--fast--(OCoLC)fst01745121,Model-integrated computing.--fast--(OCoLC)fst01739357,Conference proceedings.--fast--(OCoLC)fst01423772
Classification :
TS156
.
G285
2012
R
62. Information Science and applications
Author: Kuinam J. Kim, Hye-Young Kim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Information technology, Congresses.,Computer software-- Development.,Information technology.
Classification :
T58
.
5
63. Information systems development
Author: edited by Olegas Vasilecas ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Instructional systems-- Design, Congresses.,System design, Congresses.
64. Integrated project support environments
Author: edited by John McDermid
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer software- Development- Congresses,، Electronic data processing- Management- Congresses
Classification :
QA
76
.
76
.
D47I55
1985
65. Integrated project support environments: the aspect project
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Development,Congresses ، Electronic data processing-- Management
Classification :
QA
76
.
76
.
D47
.
I553
1991
66. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
Author: Hartmut Ehrig ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
Classification :
QA
76
.
L28
Vol
.
3147
67. Intelligent Software Methodologies, Tools and Techniques
Author: \ [edited by] Hamido Fujita, Ali Selamat.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
758
.
I5
2015
E-Book
,
68. Intelligent Software Methodologies, Tools and Techniques
Author: [Edited by] Hamido Fujita, Guido Guizzi
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
Classification :
TK
5105
.
5
.
I5
2015
E-Book
,
69. Knowledge- based software engineering
Author: / edited by Pavol navrat and Haruki Ueno
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
Classification :
QA
76
.
9
.
S88J65
1998
70. Knowledge-based software engineering
Author: edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
Library: (Mazandaran)
Subject: Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
Classification :
QA
.
E95J65
76
.
76
2000
71. Knowledge- based software engineering
Author: / edited by Pavol navrat and Haruki Ueno
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
Classification :
QA
76
.
9
.
S88J65
1998
72. Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
Author: edited by Tomas Hruska and Masa-aki Hashimoto
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Expert systems )Computer science(,Congresses ، Computer software -- Development
Classification :
QA
76
.
76
.
E95J6
2000
73. Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses,، Expert systems )Computer science(-- Congresses
Classification :
QA
76
.
76
.
D47
.
I35
1992
74. Languages, methodologies, and development tools for multi-agent systems :
Author: Mehdi Dastani ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
76
.
I58
L33
2009
75. Languages, methodologies, and development tools for multi-agent systems :
Author: Mehdi Dastani ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
76
.
I58
L33
2009
76. Logic-Based Program Synthesis and Transformation
Author: \ Moreno Falaschi (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها ,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
Classification :
QA
76
.
63
.
L6
2015
E-Book
,
77. Logic-Based Program Synthesis and Transformation
Author: \ [edited by] Maurizio Proietti, Hirohisa Seki.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
Classification :
QA
76
.
6
.
L6
2015
E-Book
,
78. Logic-based program synthesis and transformation
Author: Elvira Albert (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
Classification :
QA76
.
63
.
L67
2012
79. Logic-based program synthesis and transformation :
Author: Fred Mesnard, Peter J. Stuckey (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
Classification :
QA76
.
63
80. Managing complexity in software engineering /
Author: edited by R.J. Mitchell
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming-- Management-- Congresses,Computer software-- Development-- Congresses
Classification :
QA76
.
76
.
D47
